科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过谓词抽象将围栏自动插入整数程序中
Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-fang Chen; Carl Leonardsson; Ahmed Rezine;
机译:C程序的自动谓词抽象
机译:自动谓词C程序的抽象
机译:不要坐在栅栏上:自动插入栅栏的静态分析方法
机译:使用决策程序和谓词抽象进行无限制的系统验证。
机译:通过混合整数非线性规划自动设计合成基因电路
机译:通过谓词抽象和优化进行程序分析
机译:通过摘要和完善进行程序分析
机译:用于生成程序的谓词抽象的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。